In this paper we study a notion of HL-extension for a structure in a finite relational language $\mathcal {L}$. We give a description of all finite minimal HL-extensions of a given finite $\mathcal {L}$ -structure. In addition, we study a group-theoretic property considered by Herwig–Lascar and show that it is closed under taking free products. We also introduce notions of coherent extensions and ultraextensive $\mathcal {L}$ -structures and show that every countable $\mathcal {L}$ -structure can be extended to a countable (...) ultraextensive structure. Finally, it follows from our results that the automorphism group of any countable ultraextensive $\mathcal {L}$ -structure has a dense locally finite subgroup. (shrink)

In social systems or spaces, distance between the centre and the periphery breeds epistemic injustice. There are growing accounts of epistemic injustice in health-related fields, as in the article by Pratt and de Vries.1 The title of the article asks: ‘Where is knowledge from the global South?’ Like me, you may answer by saying: ‘Knowledge from the global South is in the global South’. That answer says a lot about how we right epistemic injustice done to actors in the global (...) South or the periphery, including in health ethics. Pratt and de Vries identified four sets of actors (individuals, institutions, journals and funders) responsible for righting epistemic injustice. For three of the four sets of actors, they recognised the need for—or the possibility of—symmetry between global North and global South. Except journals. They did not seriously consider that journals are either present in or could belong to the global South; to the periphery. Platforms for knowledge exchange, circulation, cultivation and curation—such as journals, conferences, publishers, blogs, archives, seminars, books and the media, social or traditional—are neither physically nor epistemically neutral. They are situated. The BBC cannot do for Nigeria or Australia what it does for Britain; neither can the BMJ. Many of us take our position at the centre or periphery as neutral, natural, necessary or permanent. But the African American writer Toni Morrison proved the opposite with her career: ‘I stood at the border, stood at the edge and claimed it as central. l claimed it as central, and let the rest of the world move over to where I was.’2 Although physically in the USA, Toni Morrison was writing …. (shrink)

Collection of articles on philosophy of social sciences; Shīʻah.

I study definability and types in the linear fragment of continuous logic. Linear variants of several definability theorems such as Beth, Svenonus and Herbrand are proved. At the end, a partial study of the theories of probability algebras, probability algebras with an aperiodic automorphism and AL-spaces is given.

We study the relations of being substructure and elementary substructure between Kripke models of intuitionistic predicate logic with the same arbitrary frame. We prove analogues of Tarski's test and Löwenheim-Skolem's theorems as determined by our definitions. The relations between corresponding worlds of two Kripke models [MATHEMATICAL SCRIPT CAPITAL K] ⪯ [MATHEMATICAL SCRIPT CAPITAL K]′ are studied.

By introducing and extending description logic (DLs) and growing up their application in knowledge representation and especially in OWLs and semantic web scope, many shortcomings and bugs were identified that weren’t resolvable in classical DLs and so logicians and computer scientists intended to non-classical and non-monotonic reasoning tools. In this paper, I discuses about abduction problem solvers, and by introducing A-Box abduction in description logics (DLs), such as ALC, discuss about decidability and complexity in different introduced algorithms, and report shortly (...) our team’s advantages in developing and implementation of ΑBox abduction in DLs. (shrink)

Before the popularization of the printing press, the circula­tion of commentarial texts across regional borders, especially of Islamic texts outside of the Middle East, remains largely unexplored. This article focuses on the movement of Islamic manuscripts in the Indian Ocean world, from South and East Africa to South and East Asia. Together with merchants, sail­ors, travelers, and commodities, the books also traveled long distances, replete with ideas, stories, dreams, myths, norms, manners, and emotions. What was the role of manuscripts in (...) the expansion of Islam into the premodern oceanic world and in religio-cultural exchanges between central Islamic lands and the larger world? What sorts of books did people access, read, and use, and what did the circulation of these texts imply? I address these questions with a broad focus on the oceanic littoral and Islamic manuscripts and a specific focus on one of the ports and a legal commentary. Based on this analytical exercise of zooming-out and zooming-in between macro- and micro-maritime textual histories anchored in the sixteenth century, I argue that the citations of specific manuscripts reveal the prominence of a transregional circula­tion of certain texts, along with their contextual cultures of reading, writing, producing, and circulating commentaries. (shrink)

We argue that the debate about the normativity of belief thesis has been hampered by the slogan, ‘belief aims at truth’. We show that the slogan provides no content to the normativity of belief. The slogan encourages formulations of the norm as a prescriptive norm. There are well-known problems with such formulations. We provide a new formulation of the thesis as a prohibitive norm. This captures the key intuition most normativists about belief want to endorse.

Different aspects of competition in stock exchanges have been discussed from either a positive or normative perspective, but this article seeks to come up with an approach encompassing both positive and normative dimensions of competition in various aspects of stock exchanges' activities. As far as the positive nature of the securities market and industry is concerned, conflicting trends are emerging. The liberalization of securities markets and the disappearance of technical barriers have dismantled the monopoly of national stock exchanges but led (...) to more consolidation. However, we are also witnessing a destabilizing and fragmenting effect of competition on these markets. Following an analysis of the normative/positive dichotomy in approaching competition in financial services, we discuss the centrality of information disclosure in creating a competitive and stable financial market. Disclosure of information, therefore, reinforces both competitive and prudential objectives alike. In a further attempt, we discuss the tension between the principles of competition and prudence alongside the conflict between competition objectives and economies of scope and scale. While arguments in weighing competition against economies of scope and scale are evenly balanced, the unique characteristics of such markets do not allow the absolute application of competition principles when it comes to prudential concerns. (shrink)

A generic analysis of research article abstracts can cover issues of different types; among them are linguistic features. An integral part of linguistic features of research article abstracts is interactive metadiscourse usage that can assist to make the text persuasive and unfolding to a discourse community. The main principle behind applying interactive metadiscourse is the view of writing as socially engaging; specifically, it indicates the ways writers project themselves into their arguments to declare their attitudes and commitments to the readers. (...) This study aimed to explore how interactive metadiscourse markers are deployed by research article abstract writers belonging to different disciplinary communities within the soft sciences, while trying to reach the audience by creating a well-organized discourse. Hyland’s interpersonal model of metadiscourse was adopted to analyze 60 research article abstracts written in Applied Linguistics and Economics. Based on the results, there were marked variations found across the two disciplines in terms of interactive metadiscourse markers. (shrink)

The issue of existence - quiddity difference is one of the important issues that were put forward for the first time in Islamic philosophy without having any background in Greek philosophy. Aristotle's metaphysics which is the main source of the first philosophy contains only synonymous and verbal meaning ofexistence. The issue of existence - quiddity difference has no room in Aristotle's works. This issue was proposed first by Farabi and then was completed by Ibn sina. In Islamic philosophy when it (...) is proved that existence in the mind is neither identical with quiddity nor a part of it but differs with it and is excess of it, that is, when it is proved that existence occurs on quiddity, this question arises that how is their relation in the outside? Whether existence occurs on quiddity or existence and quiddity are identical in the external world? To this question the Islamic philosophers answer that existence and quiddity are identical in the outside and it isimpossible that they differ from each other in the external world. The importance of this issue is that it finally led to the origination of the doctrine of the principality of existence which is known as the culmination of Islamic philosophy. The main goal of this article is study this issue and its impact upon the origination of the doctrine of the principiality of existence. (shrink)

The ultraproduct construction is generalized to p‐ultramean constructions () by replacing ultrafilters with finitely additive measures. These constructions correspond to the linear fragments of continuous logic and are very close to the constructions in real analysis. A powermean variant of the Keisler‐Shelah isomorphism theorem is proved for. It is then proved that ‐sentences (and their approximations) are exactly those sentences of continuous logic which are preserved by such constructions. Some other applications are also given.

We develop a model theoretic framework for studying algebraic structures equipped with a measure. The real line is used as a value space and its usual arithmetical operations as connectives. Integration is used as a quantifier. We extend some basic results of pure model theory to this context and characterize measurable sets in terms of zero-sets of formulas.

We define an ultraproduct of metric structures based on a maximal probability charge and prove a variant of Łoś theorem for linear metric formulas. We also consider iterated ultraproducts.

Linear continuous logic is the fragment of continuous logic obtained by restricting connectives to addition and scalar multiplications. Most results in the full continuous logic have a counterpart in this fragment. In particular a linear form of the compactness theorem holds. We prove this variant and use it to deduce some basic preservation theorems.

The turn to descriptive studies of ethics is inspired by the sense that our ethical theorizing needs to engage ethnography, history, and literature in order to address the full complexity of ethical life. This article examines four books that describe the cultivation of virtue in diverse cultural contexts, two concerning early China and two concerning Islam in recent years. All four emphasize the significance of embodiment, and they attend to the complex ways in which choice and agency interact with the (...) authority of tradition. In considering these books, this article examines the relations between our academic claims concerning the self and ethics, conceptual or theoretical claims made in the elite writings of traditions, and the lived experiences of the people we study. The conclusion turns to our methodological foundations for studying these topics both comparatively and constructively. (shrink)

Many healthcare goods, such as surgical instruments, textiles and gloves, are manufactured in unregulated factories and sweatshops where, amongst other labour rights violations, workers are subject to considerable occupational health risks. In this paper we undertake an ethical analysis of the supply of sweatshop-produced surgical goods to healthcare providers, with a specific focus on the National Health Service of the United Kingdom. We contend that while labour abuses and occupational health deficiencies are morally unacceptable in the production of any commodity, (...) an additional wrong is incurred when the health of certain populations is secured in ways that endanger the health and well-being of people working and living elsewhere. While some measures have been taken to better regulate the supply chain to healthcare providers in the UK, further action is needed to ensure that surgical goods are sourced from suppliers who protect the labour and occupational health rights of their workers. (shrink)

We prove some preservation theorems concerning inductive and model-complete theories in the framework of semi-classical logic introduced in [1].

I prove linear compactness and linear completeness for various forms of linear propositional logic where the value space is a module over a ring.

Aversion towards logic is a characteristic feature of the Islamic traditionalists. There is in fact a history of opposition to logic in Islam. As any other areas of history, here also the correct picture will not be achieved unless all of the pieces are put together. In what follows, I am going to shed light on a chapter written by Zayn al-Dīn al-ʿĀmilī (d. 966/1558), the Twelver Shīʿī Scholar better known as al-Shahīd al-Thānī. The chapter not only shows al-Shahīd al-Thānī’s (...) negative stance towards logic, but also is important because it is a part of less studied Shīʿite traditionalists’ tendencies towards logic; those who are considered as the most influential figures in Iranian seminaries from the Safavid period up until today. (shrink)

For the safe and economical construction of embankment dams, the mechanical behaviour of the rockfill materials used in the dam’s shell must be analyzed. The characterization of rockfill materials with specified shear strength is difficult and expensive due to the presence of particles greater than 500 mm in diameter. This work investigates the feasibility of using an extreme gradient boosting computing paradigm to estimate the shear strength of rockfill materials. To train and validate the proposed XGBoost model, a total of (...) 165 databases obtained from the literature are chosen. The XGBoost model was compared against support vector machine, adaptive boosting, random forest, and K-nearest neighbor models described in the literature. XGBoost beats SVM, RF, AdaBoost, and KNN models in terms of performance evaluation metrics such as coefficient of determination, Nash–Sutcliffe coefficient, and error in the root mean square ratio to the standard deviation of the measured data. The results demonstrated that the XGBoost model has the highest prediction performance with, followed by the SVM model with, RF, the AdaBoost model with and the KNN model with. A sensitivity analysis has been conducted to ascertain the impact of each investigated input parameter. This study demonstrates that the established XGBoost model for estimating the shear strength of rockfill materials is reliable. (shrink)

Rockburst phenomenon is the primary cause of many fatalities and accidents during deep underground projects constructions. As a result, its prediction at the early design stages plays a significant role in improving safety. The article describes a newly developed model to predict rockburst intensity grade using Adaptive Boosting classifier. A database including 165 rockburst case histories was collected from across the world to achieve a comprehensive representation, in which four key influencing factors such as maximum tangential stress of the excavation (...) boundary, uniaxial compressive strength of rock, tensile rock strength, and elastic energy index were selected as the input variables, and the rockburst intensity grade was selected as the output. The output of the AdaBoost model is evaluated using statistical parameters including accuracy and Cohen's kappa index. The applications for the aforementioned approach for predicting the rockburst intensity grade are compared and discussed. Finally, two real-world applications are used to verify the proposed AdaBoost model. It is found that the prediction results are consistent with the actual conditions of the subsequent construction. (shrink)

According to many philosophers, the notion of belief is constitutively normative ; Shah ; Shah and Velleman (); Gibbard (); Wedgwood ). In a series of widely discussed papers, Terence Horgan and Mark Timmons have developed an ingenious ‘Moral Twin Earth’ argument against ‘Cornell Realist’ metaethical views which hold that moral terms have synthetic natural definitions in the manner of natural kind terms. In this paper we shall suggest that an adaptation of the Moral Twin Earth argument to the doxastic (...) case – Doxastic Twin Earth – provides new evidence for the normativity of belief. (shrink)

The potential of the soil to hold plant nutrients is governed by the cation-exchange capacity of any soil. Estimating soil CEC aids in conventional soil management practices to replenish the soil solution that supports plant growth. In this study, a multiple model integration scheme supervised with a hybrid genetic algorithm-neural network was developed and employed to predict the accuracy of soil CEC in Tabriz plain, an arid region of Iran. The standalone models and extreme learning machine ) were implemented for (...) incorporation into the MM-GANN. In addition, it was tested to enhance the prediction accuracy of the standalone models. The soil parameters such as clay, silt, pH, carbonate calcium equivalent, and soil organic matter were used as model inputs to predict soil CEC. With the use of several evaluation criteria, the results showed that the MM-GANN model involving the predictions of ELM and ANN models calibrated by considering all the soil parameters as inputs provided superior soil CEC estimates with a Nash Sutcliffe Efficiency = 0.87, Root Mean Square Error = 2.885, Mean Absolute Error = 2.249, Mean Absolute Percentage Error = 12.072, and coefficient of determination = 0.884. The proposed MM-GANN model is a reliable intelligence-based approach for the assessment of soil quality parameters intended for sustainability and management prospects. (shrink)

Thus far, recent protests in the Arab world have led to different political outcomes including regime change, civil war, and suppression by regime. The present paper explores the reasons behind these different outcomes. The research methodology is a comparative case study approach, and five countries of Tunisia, Egypt, Bahrain, Libya, and Syria are examined. The hypothesis is that the different political outcomes of the protests are due to a combination of factors, including the level of mobilization of anti-regime movements, the (...) responses of national militaries, and finally the reaction of international powers. Different configurations of these components in the crisis-stricken countries have led to different political outcomes. (shrink)

A value space is a topological algebra equipped with a non-empty family of continuous quantifiers . We will describe first-order logic on the basis of . Operations of are used as connectives and its relations are used to define statements. We prove under some normality conditions on the value space that any theory in the new setting can be represented by a classical first-order theory.

In this paper, some basic properties of automorphisms of first order languages and some examples are presented. In particular, an omitting types theorem is proved.

The Second Khordad Movement was a democratic social movement in contemporary Iran. Investigation of this movement revealed two images, of flourish and of decline, as the movement was first generally successful until early 2000 and thereafter began to regress from the spring of that year onwards. The purpose of this article is to provide a comprehensive framework in which to examine the reasons behind the movement's failure and regression. To this end, the study utilizes the literature on social movements, especially (...) the political process model, and attempts to explain the initial success and subsequent decline of the movement based on elements such as political opportunity, framing processes, mobilizing structures, and the repertoire of collective action.Export citation Request permission. (shrink)

The purpose of this study is to find empirical evidence on whether work from home or residential emissions reduces office emissions. Based on existing research the study supports that there are short-term effects on office emissions, i.e., carbon emissions do not outshine the long-term effects. The shift from offices to working from home due to COVID-19 regulations meant more people operating from home as maintaining their position in the market was crucial. The potential research area is to understand how this (...) would affect energy usage and carbon emissions. This study has used a before and after mixed approach to collect data from 301 working-from-home employees and 348 top managers who are responsible for monitoring the employees in a work from home setting. Convenience sampling helped collect responses in a timely manner as offices were not allowing visitors and collecting data in person was difficult, so online surveys were conducted. Work from home reduced usage of office equipment, transportation, pollution, etc. The air quality improved considerably but our findings show that the low emissions were only short-lived. This was not a long-term scenario as organizations kept practicing their operations even at home and the emissions stayed in the environment. Future suggestions and implications are also provided. The results give new insights to researchers in the field of sustainability and the environment. (shrink)

I focus on an overlooked aspect of the challenge of irrelevant influences. The challenge is often framed in terms of whether recognizing the presence of irrelevant factors in the pedigree of a belief provides a defeater. I argue that the epistemic significance of irrelevant factors goes beyond their status as defeaters. I focus on what I call gray cases, where learning about such factors causes epistemic worry without justifying giving up the belief. I argue that in gray cases, the subject (...) finds a commendatory epistemic practical reason to engage in an activity intended to assuage that epistemic worry. (shrink)

In aesthetics/philosophy of art, Fichte did not produce works as great as Kant’s Critique of the Power of Judgment or Hegel’s Lectures on Aesthetics. As a result, it was long believed that he had no role to play in the aesthetics of German idealism. Nevertheless, there are a few works in which we can identify the materials for developing an innovative philosophy of art. In this article, it is argued that Fichte takes two fundamental steps in aesthetics: 1) by transferring (...) the weight of the discussion of aesthetics to the philosophy of artistic creation, he makes, as it were, a Copernican revolution in aesthetics and thus transforms the aesthetics of taste into a philosophy of art based on the creative spirit; 2) he raises the status of aesthetics (in fact, the aesthetic sense) to the level of “a (or the) condition for the possibility of philosophy.”. (shrink)

This Viewpoint calls attention to the pervasive wrongs related to knowledge production, use, and circulation in global health, many of which are taken for granted. We argue that common practices in academic global health (eg, authorship practices, research partnerships, academic writing, editorial practices, sensemaking practices, and the choice of audience or research framing, questions, and methods) are peppered with epistemic wrongs that lead to or exacerbate epistemic injustice. We describe two forms of epistemic wrongs, credibility deficit and interpretive marginalisation, which (...) stem from structural exclusion of marginalised producers and recipients of knowledge. We then illustrate these forms of epistemic wrongs using examples of common practices in academic global health, and show how these wrongs are linked to the pose (or positionality) and the gaze (or audience) of producers of knowledge. The epistemic injustice framework shown in this Viewpoint can help to surface, detect, communicate, make sense of, avoid, and potentially undo unfair knowledge practices in global health that are inflicted upon people in their capacity as knowers, and as producers and recipients of knowledge, owing to structural prejudices in the processes involved in knowledge production, use, and circulation in global health. (shrink)

I present a puzzle regarding the norms of disagreement and inquiry. The puzzle mainly concerns a special type of peer disagreement that I call “mild disagreement”, in which the parties to the disagreement believe a proposition but with different degrees of confidence. The puzzle is best formulated as an inconsistent triad: (NJ1) The state of mild disagreement provides the involved parties with no epistemic reason to drop their belief regarding the disputed judgment. (NJ2) The state of mild disagreement provides a (...) practical reason for the involved parties to launch an inquiry into the disputed judgment. (NJ3) If the state of disagreement provides a reason to launch an inquiry into the disputed judgment, the involved parties have a reason to drop their belief regarding the disputed judgment. After discussing some possible responses to the puzzle, I offer my own solution, which involves introducing a new take on how to understand inquiry. This new take on the nature of inquiry can provide us with an alternative to the influential account recently defended by Jane Friedman. (shrink)

This book is a collection of essays by Dr. Seyed Javad Miri as he attempts to expand the sociological canon by exploring the works of Dr. Ali Shariati, an Iranian sociologist.

This article’s central aim is to debunk the overly simplified, paradigmatic, and essentialist description of certain types of Muslim sexuality, arguing that such essentialist characterization of Muslims ignores the nonunique social determinants (poverty, education, and sociostructural exclusions) of HIV/aids risk in an increasingly globalized world. To support this argument, we rely on a thematic and comparative analysis. A reoccurring theme in this project is that issues of public health, human rights, justice, and social empowerment are inextricably intertwined. Having established a (...) conceptual framework linking health and human rights, we use a comparative analysis of the cases of Iran, Indonesia, and Bangladesh in an attempt to single out similarities and differences among these cases. All these cases hold a majority Muslim population (at 98%, 86%, and 89%, respectively) and are also representative of the two primary strands of Islam: Shi’a and Sunni. Additionally, each of these states has signed the Declaration of Commitment on HIV/aids and reports the progress of their HIV/aids treatment and prevention efforts to United Nations Program on HIV/aids, the United Nations organization tasked with monitoring and combating the spread of HIV/aids. (shrink)

Monshipouri examines three paradoxes in the conflict between the legal-political global order and the growth of civil society in the international system: state-building vs. democratization; economic liberalization vs. political liberalization; and human rights vs. state sovereignty.

This paper takes the form of a ‘performative’ dialogue, a recounting of scenes, which alternate, in the mode of a cinematic montage, with academic analysis of the interfaces between boxing, art, and space. In his book Body and Soul: Notebooks on an Apprentice Boxer, sociologist Loïc Wacquant mixes three genres: analytic sociology, depictive ethnography, and short story. He argues that he used this unorthodox methodology ‘to make the reader simultaneously feel and understand how boxers are “gripped” by their craft and (...) viscerally tied to it’. Similarly, in this paper, the overlapping voices of its two authors engage in both performative, creative and intellectual ways with the critiques and social rituals surrounding boxing, ultimately finding that an understanding of boxing as an epistemological encounter gives rise to interesting ways to think through the relationships between art and urban space itself. The paper ranges widely over each author’s personal experience of boxing, analyses of specific artworks both ancient and modern, and an analysis of the psychogeography of urban space, and in particular, Johannesburg. The form of the paper, as it incorporates narrative experience and analytic mode, can be seen as a text that re-enacts the ‘performance’ of boxing and art-making in which the traditional opposition between the two is integrated, if not suspended. (shrink)

The current study aims to explain the fundamentals of religious pluralism in Wittgenstein later philosophy and Gadamer philosophical hermeneutics, specifically regarding culture. It, then, proposes the approach more suitable for the Islamic context. Having fulfilled such an objective, pluralism, concerning religious rituals, becomes accepted and cultural and religious interaction is realized without any relativism conclusion. Wittgenstein’s pluralism results in pure relativism. That is to say, in order to understand the rules of the language game and life style he mentions, one (...) needs to be placed inside. However, it is a dialectical model that Gadamer philosophical hermeneutics leads to. Dialogue gives opportunity to cultural interaction and convergence, developing the religious culture. The latter is of more proximity to Islamic resources such as the Quran, proposing a religious culture transcending cultural, historical, and social limitations. All in all, the two significant features of Gadamer’s which Wittgenstein ignores are first, the interaction of religious pluralism encouraging the development of religious culture and second, reciprocal relation between culture and religion based on hermeneutics circle. (shrink)

The path of religious pluralism starts with the fact that our world contains a number of religious faiths having different ideas of the nature of divinity as the main and fundamental principle of religions and therefore, different and various dogmas, rites, and rituals.Despite the claim that the idea of religious pluralism is a product of modern philosophical schools, specifically new epistemological principles, I have attempted to demonstrate that what I have called "pluralistic religion," as a part of a necessary and (...) substantial distinction that has to be drawn between this hypothesis and John Hick's classic theory of "religious pluralism," is strongly rooted in the principle of "ultimate truth and uniqueness of .. (shrink)

The purpose of this study is to understand how leader humility effectively stimulates follower creativity in the workplace during the coronavirus disease 2019 scenario. Relying on social cognitive and social information processing theories, this study investigates how leader humility cultivates follower self-efficacy and follower creativity. Furthermore, it explores an intervening mechanism of follower self-efficacy and examines a moderating role of leader proactive personality. The hypothesized model is empirically tested by collecting the data from 405 employees and 87 managers working in (...) the banking sector of Pakistan. The results indicate that leader humility is positively related to follower self-efficacy and follower creativity, which improve the organization’s innovation climate and an environment for social sustainability. Follower self-efficacy is also significantly related to follower creativity. The mediation analysis shows that follower self-efficacy mediates the relationship between leader humility and follower creativity. Additionally, leader proactive personality moderates the relation between follower self-efficacy and follower creativity. This study highlights the importance of leader humility for creativity and extends the literature by explaining the role of self-efficacy. Furthermore, the findings may assist the policymakers in how a humble leader heightens employee creativity and social sustainability in COVID-19. (shrink)